Symposium on Theory of Computing - PDFSEARCH.IO - Document Search Engine

Symposium on Theory of Computing
Results: 106

#	Item
21	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
22	Prize in Game Theory and Computer Science of the Game Theory Society The Prize was established in 2008 in recognition of Ehud Kalai’s role in promoting the connection of the two research areas by an endowment of Yoav S Add to Reading List Source URL: www.gametheorysociety.org Language: English - Date: 2015-09-27 15:29:59 Science and technology in the United States Science and technology Constantinos Daskalakis Computer science Fellows of the Econometric Society Knuth Prize laureates Game theory Yoav Shoham Symposium on Theory of Computing Ehud Kalai Christos Papadimitriou Nash equilibrium
23	The Role of Research Leaders on the Evolution of Scientific Communities Bruno Leite Alves Fabrício Benevenuto Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:00 Network theory Networks Graph theory Academia Physics Community structure Social network Assortativity Symposium on Theory of Computing Community H-index Data mining
24	Research Overview Distributed Computing Generally speaking, we are interested in both theory and practice of computer science and information technology. In our group we cultivate a large breadth of areas, reflecting ou Add to Reading List Source URL: www.disco.ethz.ch Language: English - Date: 2014-09-26 08:33:40 Computing Wireless sensor network Computer science Distributed computing Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems International Conference on Information Processing in Sensor Networks Symposium on Foundations of Computer Science Symposium on Theory of Computing International Colloquium on Automata Languages and Programming ACM SIGACT Dijkstra Prize
25	Panel on Grant-‐Proposal Wri0ng ACM STOC // June 1, 2013 // Palo Alto, CA Joan Feigenbaum hDp://www.cs.yale.edu/homes/jf/ Add to Reading List Source URL: thmatters.files.wordpress.com Language: English - Date: 2013-06-12 16:34:40 United States intelligence agencies Intelligence Advanced Research Projects Activity Quantum computing DARPA Grant Symposium on Theory of Computing
26	Sthlm Stadshus .rs.red 2002 Add to Reading List Source URL: www.stadshusab.stockholm.se Language: English - Date: 2014-03-12 08:55:24 Symposium on Theory of Computing Skatteskrapan Geography of Sweden Stockholm Stockholm urban area
27	FebruaryJOHN REGEHR School of Computing 50 South Central Campus Drive, Rm 3190 University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-03-08 23:58:11 Conference on Embedded Networked Sensor Systems Computer science Computing Association for Computing Machinery Programming Language Design and Implementation Symposium on Theory of Computing
28	Reprinted from Proceedings of the 2011 ACM Symposium on Principles of Programming Languages (POPL’11) Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Lev Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-10-31 16:31:37 Software engineering Instruction set architectures Instruction selection Code generation ALGOL 68 Intermediate language Hamming weight ARM architecture Programming language theory Computing Compiler construction
29	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
30	2013 IEEE Symposium on Security and Privacy Circuit Structures for Improving Efﬁciency of Security and Privacy Tools Samee Zahur and David Evans University of Virginia [samee, evans]@virginia.edu Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2013-04-05 19:56:51 Abstract data types Electronic engineering Stack Computational complexity theory Circuit Electronic circuit Secure multi-party computation Boolean circuit Lookup table Computing Theoretical computer science Electronics